翻訳と辞書 |
recognizable set : ウィキペディア英語版 | recognizable set
In computer science, more precisely in automata theory, a recognizable set of a monoid is a subset that can be distinguished by some morphism to a finite monoid. Recognizable sets are useful in automata theory, formal languages and algebra. This notion is different from the notion of recognizable language. Indeed, the term "recognizable" has a different meaning in computability theory. ==Definition== Let be a monoid, a subset is recognized by a monoid if there exists a morphism from to such that , and recognizable if it is recognized by some finite monoid. This means that there exists a subset of (not necessarily a submonoid of ) such that the image of is in and the image of is in .
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「recognizable set」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|